Notre journal : Un bien commun !

le paysage comme bien commun

0

316 Notre Dame Journal of Formal Logic

Katz 's new clothes Katz's new view about language and linguistics comes in two parts: platonism and nonreductionism. Those of us who have been skeptical about the empirical basis for claims that have arisen from within linguistics will welcome Katz's defection to our side in respect of platonism, but we will be dismayed by his refusal to adopt the rest of our methodology concerning reductionis...

Algèbres de réalisabilité: un programme pour bien ordonner R

Le principal problème, pour transformer les preuves mathématiques en programmes, est naturellement posé par les axiomes : en effet, on sait depuis longtemps comment traiter une preuve en logique intuitionniste pure (i.e. sans axiome), y compris au second ordre [2, 7, 4]. Le premier de ces axiomes est le tiers exclu, et il paraissait insurmontable. La solution, tout à fait surprenante, a été don...

Ossification du ligament vertébral commun postérieur lombaire et sciatalgie chez un patient tunisien

L'ossification du ligament vertébral commun postérieur (LVCP) est une pathologie hyperostosante relativement fréquente chez les sujets japonais, ce qui lui a valu la dénomination de « maladie japonaise ». Elle est caractérisée par une ossification hétérotopique au sein du LVCP pouvant aboutir à une compression médullaire et à une myélopathie sévère. Elle est le plus souvent de localisation cerv...

El Bien Moral